含分布式电源接入的市场多主体博弈分析

研究能源互联网发展背景下含有分布式电源(distributed generation, DG)接入的电力市场中的多主体博弈问题。首先,利用多代理(multi-agents)技术,在由发电商、供电商与多类型用户组成的市场中,搭建了多主体博弈框架。其次,针对该框架下的市场各主体特点,分别采用统一市场出清价格(market clearing price, MCP)和按报价支付(pay as bid, PAB)的市场机制,构建了最优供应函数决策模型、最优投标电价决策模型以及考虑投标风险的最优投标电量决策模型。并且,基于效用函数,考虑弹性负荷(具有分布式发电或可中断能力)用户的购售能力,建立了最优购电和最优DG发电量决策模型。最终,实现了市场各博弈主体的利益均衡化目的。仿真结果表明,基于多代理技术的博弈能实现市场各主体的合理收益,不同主体组合的市场博弈结果存在较明显差异。充分挖掘弹性负荷调节能力可有效提高分布式清洁能源发电渗透率。以上结果符合工程实际与设计需求,验证了所提模型的合理性与有效性。     

基于FLC的PMSM直接转矩控制在光伏水泵系统中的应用

针对光伏水泵系统中较难跟踪多种工况下的最大功率点及永磁同步电机转矩脉动较大等不足,提出一种基于模糊逻辑的永磁同步电机直接转矩控制系统。首先介绍光伏系统及永磁同步电机的结构及数学模型,其次提出直接转矩空间矢量控制及实现最大功率点跟踪的方法。最后以Matlab/Simulink软件为平台对提出的方法进行了建模与仿真。仿真结果表明,本方法能显著减小光伏水泵系统中永磁同步电机的转矩脉动和转速超调量,系统具有良好的动静态性能。     

NSST域模糊逻辑的红外与可见光图像融合

为了在红外与可见光图像融合时保留各自更多的细节信息,同时降低算法复杂度,采用了非下采样剪切波变换（NSST）和改进模糊逻辑的红外与可见光图像融合方法,利用NSST算法对红外图像和可见光图像分别进行多尺度、多方向稀疏分解,分别得到低频子带系数和高频子带系数。然后对低频子带系数采用基于改进的模糊柯西隶属函数的权值平均融合规则;对高频子带系数采用能量匹配度和视觉敏感度系数相结合的融合规则。最后对低频子带融合系数和高频子带融合系数执行NSST逆变换得到最终的融合图像,并进行了理论分析和实验验证。结果表明,此融合方法不仅可以保证融合清晰度,对缩短算法的运行时间也是有帮助的。     

A 1 V 186-μW 50-MS/s 10-bit subrange SAR ADC in 130-nm CMOS process

This paper presents a 10-bit 50-MS/s subrange successive-approximation register (SAR) analog-to-digital converter (ADC) composed of a 4-bit SAR coarse ADC and a 6-bit SAR fine ADC. In the coarse ADC, multi-comparator SAR architecture is used to reduce the digital logic propagation delay, and a traditional asynchronous SAR ADC with monotonic switching method is used as the fine ADC. With that combination, power dissipation also can be much reduced. Meanwhile, a modified SAR control logic is adopted in the fine ADC to speed up the conversion and other techniques, such as splitting capacitors array, are borrowed to reduce the power consumption. Fabricated with 1P8M 130-nm CMOS technology, the proposed SAR ADC achieves 51.6-dB signal to noise and distortion ratio (SNDR) and consumes 186 μ W at 50 MS/s with a 1-V supply, resulting in a figure of merit (FOM) of 12 fJ/conversion-step. The core area is only 0.045 mm².     

Hazard curve evaluation method development for a forest fire as an external hazard on nuclear power plants

A method to obtain a hazard curve of a forest fire was developed. The method has four steps: a logic tree formulation, a response surface evaluation, a Monte Carlo simulation, and an annual exceedance frequency calculation. The logic tree consists domains of “forest fire breakout and spread conditions”, “weather conditions”, “vegetation conditions”, and “forest fire simulation conditions.” Condition parameters of the logic boxes are static if stable during a forest fire or not sensitive to a forest fire intensity, and non-static parameters are variables whose frequency/probability is given based on existing databases or evaluations. Response surfaces of a reaction intensity and a fireline intensity were prepared by interpolating outputs from a number of forest fire propagation simulations by fire area simulator (FARSITE). The Monte Carlo simulation was performed where one sample represented a set of variable parameters of the logic boxes and a corresponding intensity was evaluated from the response surface. The hazard curve, i.e. an annual exceedance frequency of the intensity, was therefore calculated from the histogram of the Monte Carlo simulation outputs. The new method was applied to evaluate hazard curves of a reaction intensity and a fireline intensity for a typical location around a sodium-cooled fast reactor in Japan.     

基于FPGA和DDR3 SDRAM的大规模查找表设计与实现

针对高速大容量数据读写的广泛需求,提出一种FPGA控制DDR3 SDRAM实现大规模高速查找表的方法。该方法采用Altera公司Cyclone V系列的 FPGA,在Quartus II开发环境下,利用Verilog HDL编程语言,通过状态机来描述对DDR3 SDRAM的各种时序操作,设计了用户自定义DDR3 SDRAM控制器。搭建了测试系统进行测试,同时使用SignalTap II逻辑分析仪对控制器的工作流程进行了调试和验证。最终测试结果表明,查表准确且速度达到了40M次每秒。     

具有模糊时态的广义可能性线性时序逻辑的模型检测

本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL（Generalized Possibilistic Fuzzy Linear Tempora Logic）的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPoLTL（Generalized Possibilistic Linear Tempora Logic）进行了扩张,并通过实例说明了GPoFLTL比GPoLTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.     

线性最近邻量子电路状态分析及最优逻辑综合

综合量子电路时必须考虑量子电路实现时的约束与限制.某些量子技术中只允许物理上相邻的量子比特有相互作用,实现时必须采用线性最近邻架构.通常通过添加交换门使任意一个量子门的控制位与目标位相近邻,并保证电路的功能不受影响.在分析电路中量子比特状态的基础上,提出了一种新的线性最近邻量子电路构造方法.结果表明:对于所有40320个三比特量子电路,提出方案比已有方案的量子代价优化了约30％.     

PCR温度控制技术的研究进展

首先简述了PCR的基本原理,接着综述了几种常用的用于PCR的温度控制器,包括常规PID控制器、改进的PID控制器和模糊逻辑控制器,最后,将模糊逻辑应用于PID控制,提出了简练的模糊逻辑规则,设计了一套用于PCR的参数自整定模糊逻辑PID温控系统,得到了令人满意的温度控制效果.     

基于EOOPN的作战单元任务成功性评估仿真模型

师旅级作战单元是世界各国目前乃至将来应付一般的中小规模冲突的主要作战单位,建立其任务成功性评估模型,计算给定维修保障方案下师旅级作战单元任务成功概率,可以评价现有维修保障方案的保障效果,从而为师旅级作战单元执行任务前维修保障方案的制定和优化提供决策依据。在分析师旅级作战单元任务和构成特点的基础上,本文给出了一种扩展的面向对象Petri网(EOOPN)模型的定义和建模步骤,并利用它建立了师旅级作战单元任务成功性评估模型,最后将该模型应用于某防空旅某次任务想定,从而说明该模型的有效性和实用性。